More and more cities develop urban food strategies to guide their efforts and practices towards more sustainable food systems. An emerging theme shaping these food policy endeavours, especially prominent in North and South America, concerns the enhancement of social justice within food systems. To operationalise this theme in a European urban food governance context we adopt Nancy Fraser’s three-dimensional theory of justice: economic redistribution, cultural recognition and political representation. In this paper, we discuss the findings of an exploratory document analysis (...) of the social justice-oriented ambitions, motivations, current practices and policy trajectories articulated in sixteen European UFSs. We reflect on the food-related resource allocations, value patterns and decision rules these cities propose to alter and the target groups they propose to support, empower or include. Overall, we find that UFSs make little explicit reference to social justice and justice-oriented food concepts, such as food security, food justice, food democracy and food sovereignty. Nevertheless, the identified resources, services and target groups indicate that the three dimensions of Fraser are at the heart of many of the measures described. We argue that implicit, fragmentary and unspecified adoption of social justice in European UFSs is problematic, as it may hold back public consciousness, debate and collective action regarding food system inequalities and may be easily disregarded in policy budgeting, implementation and evaluation trajectories. As a path forward, we present our plans for the RE-ADJUSTool that would enable UFS stakeholders to reflect on how their UFS can incorporate social justice and who to involve in this pursuit. (shrink)

Self-regulation in early childhood is an important predictor of success across a variety of indicators in life, including health, well-being, and earnings. Although conceptually self-regulation has been defined as multifaceted, previous research has not investigated whether there is conceptual and empirical overlap between the factors that comprise self-regulation or if they are distinct. In this study, using a bifactor model, we tested the shared and unique variance among self-regulation constructs and prediction to pre-academic and social-emotional skills. The sample included 932 (...) preschool children, their parents, and their teachers in the United States. Children’s self-regulation was assessed using measures of executive function, behavioral self-regulation, and emotion regulation. The bifactor model demonstrated a common overarching self-regulation factor, as well as distinct executive function and emotion regulation factors. The common overarching self-regulation factor and executive function predicted children’s pre-academic and social-emotional skills. The emotion regulation factor predicted children’s social-emotional skills. Identifying the shared and unique aspects of self-regulation may have important implications for supporting children’s regulatory skills as well as their success in school. (shrink)

Attentional control theory suggests that high cognitive demands impair the flexible deployment of attention control in anxious adults, particularly when paired with external threats. Extending this...

We report the identification of a recurrent, 520-kb 16p12.1 microdeletion associated with childhood developmental delay. The microdeletion was detected in 20 of 11,873 cases compared with 2 of 8,540 controls and replicated in a second series of 22 of 9,254 cases compared with 6 of 6,299 controls. Most deletions were inherited, with carrier parents likely to manifest neuropsychiatric phenotypes compared to non-carrier parents. Probands were more likely to carry an additional large copy-number variant when compared to matched controls. The clinical (...) features of individuals with two mutations were distinct from and/or more severe than those of individuals carrying only the co-occurring mutation. Our data support a two-hit model in which the 16p12.1 microdeletion both predisposes to neuropsychiatric phenotypes as a single event and exacerbates neurodevelopmental phenotypes in association with other large deletions or duplications. Analysis of other microdeletions with variable expressivity indicates that this two-hit model might be more generally applicable to neuropsychiatric disease. © 2010 Nature America, Inc. All rights reserved. (shrink)

The fundamental problem of Christology is the apparent contradiction of Christ as recorded at Chalcedon. Christ is human and Christ is divine. Being divine entails being immutable. Being human entails being mutable. Were Christ two different persons there’d be no apparent contradiction. But Chalcedon rules as much out. Were Christ only partly human or only partly divine there’d be no apparent contradiction. But Chalcedon rules as much out. Were the very meaning of ‘mutable’ and/or ‘immutable’ other than what they are, (...) there’d be no apparent contradiction. But the meaning is what it is, and changing the meaning of our terms to avoid the apparent contradiction of Christ is an apparent flight from reality. What, in the end, is the explanation of the apparent contradiction of Christ? Theologians and philosophers have long advanced many consistency-seeking answers, all of which increase the metaphysical or semantical complexity of the otherwise strikingly simple but radical core of Christianity’s GodMan. In this paper, I put the simplest explanation on the theological table: namely, Christ appears to be contradictory because Christ is contradictory. This explanation may sound complicated to the many who are steeped in the mainstream account of logic according to which logic precludes the possibility of true contradictions. But the mainstream account of logic can and should be rejected. Ridding theology of the dogma of mainstream logic illuminates the simple though striking explanation of the apparent contradiction of Christ — namely, that Christ is a contradictory being. Just as the simplest explanation to the apparent roundness of the earth has earned due acceptance, so too should the simplest explanation of the apparent contradiction of Christ. (shrink)

IntroductionThis case study describes the process faculty at a large research university undertook to build a stand-alone online academic integrity course for first-year and transfer students. Because academic integrity is decentralized at the institution, building a more systematic program had to come from the bottom-up (faculty developed) rather than from the top down (institutionally mandated).Case descriptionUsing the learning management system, faculty and e-learning designers collaborated to build the course. Incorporating nuanced scenarios for six different types of misconduct (consistent with the (...) University’s Code of Student Rights, Responsibilities & Conduct), a pre- and post-test, and assessments for each scenario, the course provides experience in recognizing and avoiding academic misconduct.Discussion and evaluationAs a stand-alone course, the faculty who created it maintain control over content and are able to analyze student performance across the institution. In the ten months since its launch, the course has been eagerly adopted by faculty (n = 1853 students have completed the course) and post-test scores indicate students are learning from the course.ConclusionsAfter the successful launch of the student course, the next step, already underway, is the launch of learning modules for faculty and teaching assistants. (shrink)

Contemporary bioethics education has been developed predominately within Euro-American contexts, and now, other global regions are increasingly joining the field, leading to a richer global understanding. Nevertheless, many standard bioethics curriculum materials retain a narrow geographic focus. The purpose of this article is to use local cases from the Asia-Pacific region as examples for exploring questions such as ‘what makes a case or example truly local, and why?’, ‘what topics have we found to be best explained through local cases or (...) examples?’, and ‘how does one identify a relevant local case?’ Furthermore, we consider the global application of local cases to help extend the possible scope of the discussion, opening new avenues for the development of practical bioethics educational materials. We begin with a background description and discussion of why local cases enhance bioethics education, move to an overview of what is currently available and what is not for the region, and then outline a discussion of what it means to be local using example cases drawn from Hong Kong, Australia, Pakistan, and Malaysia. We are not creating a casebook but rather constructing by example a toolbox for designing active and dynamic learning cases using regional diversity as contextualised cases with generalised principles. (shrink)

Background Families whose child has unexplained intellectual or developmental differences often hope that a genetic diagnosis will lower barriers to community-based therapeutic and support services. However, there is little known about efforts to mobilize genetic information outside the clinic or how socioeconomic disadvantage shapes and constrains outcomes.Methods We conducted an ethnographic study with predominantly socioeconomically disadvantaged families enrolled in a multi-year genomics research study, including clinic observations and in-depth interviews in English and Spanish at multiple time points. Coding and thematic (...) development were used to collaboratively interpret fieldnotes and transcripts.Results Thirty-two families participated. Themes included familial expectations that a genetic diagnosis could be translated into information, understanding, and assistance to improve the quality of a child’s day-to-day life. After sequencing, however, genetic information was not readily converted into improved access to services beyond the clinic, with families often struggling to use a genetic diagnosis to advocate for their child.Conclusion Families’ ability to use a genetic diagnosis as an effective advocacy tool beyond the clinic was limited by the knowledge and resources available to them, and by the eligibility criteria used by therapeutic service providers’ – which focused on clinical diagnosis and functional criteria more than etiologic information. All families undertaking genomic testing, particularly those who are disadvantaged, need additional support to understand the limits and potential benefits of genetic information beyond the clinic. (shrink)

Experiential evidence shows that pain is associated with common meanings. These include a meaning of threat or danger, which is experienced as immediately distressing or unpleasant; cognitive meanings, which are focused on the long-term consequences of having chronic pain; and existential meanings such as hopelessness, which are more about the person with chronic pain than the pain itself. This interdisciplinary book - the second in the three-volume Meanings of Pain series edited by Dr Simon van Rysewyk - aims to better (...) understand pain by describing experiences of pain and the meanings these experiences hold for the people living through them. The lived experiences of pain described here involve various types of chronic pain, including spinal pain, labour pain, rheumatic pain, diabetic peripheral neuropathic pain, fibromyalgia, complex regional pain syndrome, endometriosis-associated pain, and cancer-related pain. Two chapters provide narrative descriptions of pain, recounted and interpreted by people with pain. Language is important to understanding the meaning of pain since it is the primary tool human beings use to manipulate meaning. As discussed in the book, linguistic meaning may hold clues to understanding some pain-related experiences, including the stigmatisation of people with pain, the dynamics of patient-clinician communication, and other issues, such as relationships between pain, public policy and the law, and attempts to develop a taxonomy of pain that is meaningful for patients. Clinical implications are described in each chapter. This book is intended for people with pain, their family members or caregivers, clinicians, researchers, advocates, and policy makers. (shrink)

Christine Ladd-Franklin is often hailed as a guiding star in the history of women in logic—not only did she study under C. S. Peirce and was one of the first women to receive a PhD from Johns Hopkins, she also, according to many modern commentators, solved a logical problem which had plagued the field of syllogisms since Aristotle. In this paper, we revisit this claim, posing and answering two distinct questions: Which logical problem did Ladd-Franklin solve in her thesis, and (...) which problem did she think she solved? We show that in neither case is the answer “a long-standing problem due to Aristotle.” Instead, what Ladd-Franklin solved was a problem due to Jevons that was first articulated in the nineteenth century. (shrink)

Dialogue semantics for logic are two-player logic games between a Proponent who puts forward a logical formula φ as valid or true and an Opponent who disputes this. An advantage of the dialogical approach is that it is a uniform framework from which different logics can be obtained through only small variations of the basic rules. We introduce the composition problem for dialogue games as the problem of resolving, for a set S of rules for dialogue games, whether the set (...) of S-dialogically valid formulas is closed under modus ponens. Solving the composition problem is fundamental for the dialogical approach to logic; despite its simplicity, it often requires an indirect solution with the help of significant logical machinery such as cut-elimination. Direct solutions to the composition problem can, however, sometimes be had. As an example, we give a set N of dialogue rules which is well-justified from the dialogical point of view, but whose set N of dialogically valid formulas is both non-trivial and non-standard. We prove that the composition problem for N can be solved directly, and introduce a tableaux system for N. (shrink)

Our commentary outlines a number of arguments questioning an autonomous model of word recognition without feedback. Arguments are presented against the need for a phonemic decision stage and in support of a featural level in a model including feedback.

In 1672 John Eliot, English Puritan educator and missionary to New England, published _The Logick Primer: Some Logical Notions to initiate the INDIANS in the knowledge of the Rule of Reason; and to know how to make use thereof_. This roughly 80 page pamphlet introduces syllogistic vocabulary and reasoning so that syllogisms can be created from Biblical texts. The use of logic for proselytizing purposes is not distinctive: What is distinctive about Eliot's book is that it is bilingual, written in (...) both English and Massachusett (Wôpanâak), an Algonquian language spoken in eastern coastal and southeastern Massachusetts. It is one of the earliest bilingual logic textbooks and it is the first, and perhaps only, textbook in an indigenous American language. -/- In this paper, we (1) introduce John Eliot and the linguistic context he was working in; (2) introduce the contents of the _Logick Primer_---vocabulary, inference patterns, and applications; (3) discuss notions of 'Puritan' logic that inform this primer; and (4) address the importance of his work in documenting and expanding the Massachusett language and the problems that accompany his colonial approach to this work. (shrink)

Temporal logic as a modern discipline is separate from classical logic; it is seen as an addition or expansion of the more basic propositional and predicate logics. This approach is in contrast with logic in the Middle Ages, which was primarily intended as a tool for the analysis of natural language. Because all natural language sentences have tensed verbs, medieval logic is inherently a temporal logic. This fact is most clearly exemplified in medieval theories of supposition. As a case study, (...) we look at the supposition theory of Lambert of Lagny, extracting from it a temporal logic and providing a formalization of that logic. (shrink)

Although rhetoric is not a category of ancient Indian philosophy, this paper argues that Śāntarakṣita and Kamalaśīla, 2 eighth-century Indian Buddhist philosophers, can nonetheless be seen to embrace a rhetorical conception of rationality. That is, while these thinkers are strong proponents of rational analysis and philosophical argumentation as tools for attaining certainty, they also uphold the contingent nature of all such processes. Drawing on the categories of the New Rhetoric, this paper argues that these Buddhist thinkers understand philosophical argumentation to (...) be directed at a universal audience of rational beings, where this universal audience is not an actual audience but a rhetorical one constructed through the author’s particular and historically contingent conception of what counts as rational. A reception theory of rationality is one that holds that the rationality of an argument depends upon its acceptance by a rational audience. When philosophers recognize the historically contingent nature of what counts as rational, they can embrace a reception theory of rationality that neither reduces the rational to mere opinion nor restricts it to a single, absolute, and timeless standard. (shrink)

We give a simple definition of validity for syllogisms involving necessary and assertoric premises which validates all and only the Aristotelian apodeictic syllogisms.

Recently logic has shifted emphasis from static systems developed for purely theoretical reasons to dynamic systems designed for application to real world situations. The emphasis on the applied aspects of logic and reasoning means that logic has become a pragmatic tool, to be judged against the backdrop of a particular application. This shift in emphasis is, however, not new. A similar shift towards “interactive logic” occurred in the high Middle Ages. We provide a number of different examples of “interactive logic” (...) in the Middle Ages, all species of the disputation game obligatio. These games display a recognition of the importance of interaction in logical contexts and the way that interactive logic differs from single-agent inference. (shrink)

Many authors argue that middle-class lesbians present themselves as butch or fem less than working-class lesbians and that butch and fem were discouraged by 1970s feminist stigma but are reemerging in postfeminist decades. By analyzing “women seeking women” personal ads, this study provides a longitudinal, quantitative analysis of the validity of these assumptions. The results suggest that middle-class lesbians were less likely to present themselves as butch or fem than working-class lesbians but no less likely to be seeking a butch (...) or fem partner. Also, butch and fem were found to be much more prevalent in the 1990s than in the 1970s or 1980s. Generational cohorts of lesbians based on feminist political ideologies about butch and fem were not found. Prevailing cultural norms within lesbian communities appear to affect all lesbians in an era. (shrink)

Formal dialogue systems model rule-based interaction between agents and as such have multiple applications in multi-agent systems and AI more generally. Their conceptual roots are in formal theories of natural argumentation, of which Hamblin’s formal systems of argumentation in Hamblin (Fallacies. Methuen, London, 1970, Theoria 37:130–135, 1971) are some of the earliest examples. Hamblin cites the medieval theory of obligationes as inspiration for his development of formal argumentation. In an obligatio, two agents, the Opponent and the Respondent, engage in an (...) alternating-move dialogue, where the Respondent’s actions are governed by certain rules, and the goal of the dialogue is establishing the consistency of a proposition. We implement obligationes in the formal dialogue system framework of Prakken (Knowl Eng Rev 21(2):163–188, 2006) using Dynamic Epistemic Logic (van Ditmarsch et al. in Dynamic epistemic logic, Synthese Library Series. Springer, Berlin, 2007). The result is a new type of inter-agent dialogue, for consistency-checking, and analyzing obligationes in this way also sheds light on interpretational and historical questions concerning their use and purpose in medieval academia. (shrink)

We present Prior's discussion of a puzzle about valditity found in the writings of the fourteenth-century French logician Jean Buridan and show how Prior's study of this puzzle may have provided the conceptual inspiration for his development of hybrid logic.

In the 4th century BC, the Greek philosopher Diodoros Chronos gave a temporal definition of necessity. Because it connects modality and temporality, this definition is of interest to philosophers working within branching time or branching space-time models. This definition of necessity can be formalized and treated within a logical framework. We give a survey of the several known modal and temporal logics of abstract space-time structures based on the real numbers and the integers, considering three different accessibility relations between spatio-temporal (...) points. (shrink)

The current trend in knowledge revision in the Dynamic Epistemic Logic tradition focuses on the addition of new knowledge, rather than the possibility of losing knowledge. Yet there are natural situations, such as an agent who does not want another agent to know that she knows a certain piece of information, where there is a need to be able to model the retraction of a proposition from a knowledge base. One situation where this is systematically required is the variant of (...) the medieval theory of obligationes known as dubitatio, where one of the agents in the dialogue is obliged to hold the initial proposition, the dubitatum, as doubtful, regardless of what other propositions she may concede or deny during the disputation. In this paper, we use dubitatio as a motivation for studying deceitful agents, and we discuss various ways that an agent can move from a model where f is known to one where f is not known. (shrink)

The great Buddhist writer Santaraksita (725-88) was central to the Buddhist traditions spread into Tibet. He and his disciple Kamalasila were among the most influential thinkers in classical India. They debated ideas not only within the Buddhist tradition but also with exegetes of other Indian religions, and they both traveled and nurtured Buddhism in Tibet during its infancy there. Their views, however, have been notoriously hard to classify. The present volume examines Santaraksita's encyclopedic Tattvasamgraha and Kamalasila's detailed commentary on that (...) text in his Panjika, two works that have historically been presented together. The works cover all conceivable problems in Buddhist thought and portray Buddhism as a supremely rational faith. One hotly debated topic of their time was omniscience -- infinite, all-compassing knowledge -- whether it was possible and whether one could defensibly claim it as a quality of the Buddha. (shrink)

The Routledge Handbook of Indian Buddhist Philosophy is an outstanding reference source to the principal philosophers in the diverse Buddhist traditions of India, from the early Pāli writings to the twentieth century. The Handbook provides thorough coverage of the most significant figures, texts and debates that animate Buddhist philosophy. A key feature is the attention given to the ideas and works of particular Buddhist thinkers, placing the author at the centre of inquiry. Forty chapters by an international team of contributors (...) are divided into eight clear sections, each of which includes an introduction by the editors: Buddhas as Philosophers Poet Philosophers Abhidharma Philosophers Philosophical Founders Early Period Philosophical Commentators (fifth - eighth century) Middle Period Philosophical Commentators (eighth - ninth century) Late Period Philosophical Commentators (tenth - twelfth century) Modern Philosophers. Essential reading for students and researchers in Eastern and comparative philosophy and especially Buddhist philosophy, The Routledge Handbook of Indian Buddhist Philosophy will also be of interest to those studying Buddhism in religious studies and related subjects. (shrink)

As theorists and critics, we should welcome books that call us to question the ideas and ideals that motivate our scholarship and, more specifically, the way we employ foundational concepts in the study of rhetoric and philosophy. Ralph Cintron’s Democracy as Fetish is one such book. Cintron takes on one of the field’s most important grounding concepts—democracy—and asks that we think it anew. The goal is not to abandon or abolish democracy but rather to consider its premises and rethink the (...) assumption that we know what it means.Cintron is an ideal docent for this rethinking, and in his care readers are guided through a consideration of what democracy means and how it might mean otherwise.... (shrink)

The medieval distinction between categorematic and syncategorematic words is usually given as the distinction between words which have signification or meaning in isolation from other words and those which have signification only when combined with other words . Some words, however, are classified as both categorematic and syncategorematic. One such word is Latin infinita ‘infinite’. Because infinita can be either categorematic or syncategorematic, it is possible to form sophisms using infinita whose solutions turn on the distinction between categorematic and syncategorematic (...) uses of infinita. As a result, medieval logicians were interested in identifying correct logical rules governing the categorematic and syncategorematic uses of the term. In this paper, we look at 13th–15th-century logical discussions of infinita used syncategorematically and categorematically. We also relate the distinction to other medieval distinctions with which it has often been conflated in modern times, and show how and where these conflations go wrong. (shrink)

_Highlights innovative partnership practices that help create educational opportunities for students in rural schools across the United States._ As editors Sara L. Hartman and Bob Klein acknowledge, rural places have long experienced systemic inequities that decrease rural students' access to education, yet many rural schools and communities have found creative means to make up for the dearth of outside resources. _The Middle of Somewhere_ brings to light a wide variety of partnerships that have been forged between K–12 schools, communities, (...) and postsecondary institutions to improve educational access. The book showcases collaborations that address three different areas of need: partnerships that prepare and support teacher candidates and educators who work in rural areas; partnerships that extend the work of rural education networks; and partnerships that promote equity, justice, and inclusion within rural populations. Using case studies of rural educational partnerships from communities across the United States, the book's contributors share their experiences of how strong partnerships have formed both organically and through thoughtful and intentional planning, and they recommend supportive strategies for their development and sustainment. The contributors also explore the many ways in which university–school–community partnerships incubate solutions to challenges common to rural education systems, such as access to STEM education and higher education. The programs featured here may serve as replicable models for practitioners, researchers, and policy makers who want to enrich the experiences of children in their schools and communities. (shrink)

In, Kosterec attempts to provide ``model-theoretic proofs'' of certain theses involving the normal modal operators $\Diamond$ and $\square$ and the truth-in-fiction operator $F$ which he then goes on to show have counterexamples in Kripke models. He concludes from this that the embedding of modal logic under the truth-in-fiction operator is unsound. We show instead that it is the ``model-theoretic proofs'' that are themselves unsound, involving illicit substitution, a subtle error that nevertheless allows us to draw an important conclusion about intensional (...) contexts and semantic equivalences. (shrink)

A contemporary examination of the past, present, and future of Marxist philosophy.

In the early 1980s, Paul V. Spade advanced the thesis that obligational reasoning was counterfactual reasoning, based upon his interpretation of the obligationes of Walter Burley, Richard Kilvington, and Roger Swyneshed. Eleonore Stump in a series of contemporary papers argued against Spade’s thesis with respect to Burley and Swyneshed, provisionally admitting it for Kilvington with the caveat that Kilvington’s theory is by no means clear or non-idiosyncratic. In this paper, we revisit the connection between counterfactual reasoning and obligationes, focusing on (...) one particular treatise, the anonymous early twelfth-century Obligationes Parisienses edited by L.M. de Rijk in the late 70s. We show that while positio in this treatise does not involve counterfactual reasoning, the species sit verum or rei veritas apparently does, and it is precisely this which distinguishes the two species in this treatise. (shrink)

Psychiatry is rapidly adopting digital phenotyping and artificial intelligence/machine learning tools to study mental illness based on tracking participants’ locations, online activity, phone and text message usage, heart rate, sleep, physical activity, and more. Existing ethical frameworks for return of individual research results (IRRs) are inadequate to guide researchers for when, if, and how to return this unprecedented number of potentially sensitive results about each participant’s real-world behavior. To address this gap, we convened an interdisciplinary expert working group, supported by (...) a National Institute of Mental Health grant. Building on established guidelines and the emerging norm of returning results in participant-centered research, we present a novel framework specific to the ethical, legal, and social implications of returning IRRs in digital phenotyping research. Our framework offers researchers, clinicians, and Institutional Review Boards (IRBs) urgently needed guidance, and the principles developed here in the context of psychiatry will be readily adaptable to other therapeutic areas. (shrink)

Fictional discourse and fictional languages provide useful test cases for theories of meaning. In this paper, we argue against truth-conditional accounts of meaning on the basis of problems posed by language(s) of fiction. It is well-known how fictional discourse -- discourse about non-existent objects -- poses a problem for truth-conditional theories of meaning. Less well-considered, however, are the problems posed by fictional languages, which can be created to either be meaningful or not to be meaningful; both of these ultimately also (...) provide problems for a truth-conditional account of meaning, because it cannot account for the ways in which we use and evaluate such fictional languages. (shrink)

In this paper we look at the suitability of modern interval-based temporal logic for modeling John Buridan’s treatment of tensed sentences in his Sophismata. Building on the paper [Øhrstrøm 1984], we develop Buridan’s analysis of temporal logic, paying particular attention to his notions of negation and the absolute/relative nature of the future and the past. We introduce a number of standard modern propositional interval temporal logics to illustrate where Buridan’s interval-based temporal analysis differs from the standard modern approaches. We give (...) formal proofs of some claims in [Øhrstrøm 1984], and sketch how the standard modern systems could be defined in terms of Buridan’s proposals, showing that his logic can be taken as more basic. (shrink)

In this paper we look at the suitability of modern interval-based temporal logic for modeling John Buridan’s treatment of tensed sentences in his Sophismata. Building on the paper, we develop Buridan’s analysis of temporal logic, paying particular attention to his notions of negation and the absolute/relative nature of the future and the past.We introduce a number of standard modern propositional interval temporal logics to illustrate where Buridan’s interval-based temporal analysis differs from the standard modern approaches. We give formal proofs of (...) some claims in, and sketch how the standard modern systems could be defined in terms of Buridan’s proposals, showing that his logic can be taken as more basic. In diesem Aufsatz betrachten wir das Geeignetsein einer modernen intervallbasierten temporalen Logik für die Modellierung von John Buridans Behandlung zeitabhängiger Sätze in seinen Sophismata. Aufbauend auf den Aufsatz stellen wir Buridans Analyse der temporalen Logik dar, mit besonderer Berücksichtigung seiner Begriffe der Negation und der absoluten/relativen Natur der Zukunft und der Vergangenheit. Wir führen einige standardmäßige moderne intervallbasierte temporale Aussagenlogiken ein, um zu illustrieren, wo Buridans intervallbasierte temporale Analyse von den standardmäßigen modernen Zugangsweisen abweicht. Wir geben formale Beweise einiger Behauptungen in an und skizzieren, wie die standardmäßigen modernen Systeme im Sinne der Vorschläge Buridans definiert werden könnten; wir zeigen damit, dass seine Logik als die grundlegendere aufgefasst werden kann. (shrink)

In this short note we respond to the claim made by Christopher Viger in [4] that Anselm’s so-called ontological argument falls prey to Russell’s paradox. We show that Viger’s argument is based on a flawed premise and hence does not in fact demonstrate what he claims it demonstrates.